|
In mathematics, duality theory for distributive lattices provides three different (but closely related) representations of bounded distributive lattices via Priestley spaces, spectral spaces, and pairwise Stone spaces. This generalizes the well-known Stone duality between Stone spaces and Boolean algebras. Let be a bounded distributive lattice, and let denote the set of prime filters of . For each , let . Then is a spectral space,〔Stone (1937), Johnstone (1982)〕 where the topology on is generated by . The spectral space is called the ''prime spectrum'' of . The map is a lattice isomorphism from onto the lattice of all compact open subsets of . In fact, each spectral space is homeomorphic to the prime spectrum of some bounded distributive lattice.〔Stone (1937), Johnstone (1982)〕 Similarly, if and denotes the topology generated by }, then is also a spectral space. Moreover, is a pairwise Stone space. The pairwise Stone space is called the ''bitopological dual'' of . Each pairwise Stone space is bi-homeomorphic to the bitopological dual of some bounded distributive lattice.〔Bezhanishvili et al. (2010)〕 Finally, let be set-theoretic inclusion on the set of prime filters of and let . Then is a Priestley space. Moreover, is a lattice isomorphism from onto the lattice of all clopen up-sets of . The Priestley space is called the ''Priestley dual'' of . Each Priestley space is isomorphic to the Priestley dual of some bounded distributive lattice.〔Priestley (1970)〕 Let Dist denote the category of bounded distributive lattices and bounded lattice homomorphisms. Then the above three representations of bounded distributive lattices can be extended to dual equivalence〔Bezhanishvili et al. (2010)〕 between Dist and the categories Spec, PStone, and Pries of spectral spaces with spectral maps, of pairwise Stone spaces with bi-continuous maps, and of Priestley spaces with Priestley morphisms, respectively: Thus, there are three equivalent ways of representing bounded distributive lattices. Each one has its own motivation and advantages, but ultimately they all serve the same purpose of providing better understanding of bounded distributive lattices. ==See also== *Birkhoff's representation theorem *Stone duality *Stone's representation theorem for Boolean algebras *Esakia duality 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Duality theory for distributive lattices」の詳細全文を読む スポンサード リンク
|